Decoding Golang Interfaces: Why Your Struct Fits an Interface It Never Met
dev.to·7h·
Discuss: DEV
🔤Type Theory
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·1d
🔲Cellular Automata
Rich Answered That
gist.github.com·1h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
🧬Functional Programming
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·13h
🎯Performance Proofs
Compiling a Functional Language to LLVM
danieljharvey.github.io·10h·
Discuss: Lobsters, Hacker News
🔗Lisp
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·21h·
Discuss: Hacker News
🧠Machine Learning
typical: Data interchange with algebraic data types.
github.com·2d
📋Format Specification
An Introduction to XForms
xml.com·3h·
Discuss: Hacker News
🐚Shell Calculus
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
λLambda Formalization
IDA 9.2 Release: Golang Improvements, New UI Widgets, Types Parsing and More
hex-rays.com·1d
🔗Static Linking
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·2d·
Discuss: Hacker News
🔄Lens Laws
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·7h·
Discuss: Hacker News
🔬Refinement Types
Kleene's Recursion Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🔤Type Theory
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·15h·
Discuss: r/rust
🦀Rust Macros
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·3d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Prompt Engineering for Software Engineers
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Hashers (Murmur)
github.com·22h
🔐Hash Functions
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·21h·
Discuss: Hacker News
🔗Lisp
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Linear Types